That is good to know the next time I want to:

A.) Convert an interger to a varchar then

B.) Convert that varchar to a smaller varchar then

C.) Cast said varchar as a float then

D.) Store float as an integer then

E.) Select the output for use somewhere else...