This phenomenon is not the application's fault: it's that old standard floating point error. Remember that 17.9-17 isn't .9, but rather .899999, so that when you multiply by 10, you get 8.99999--and @INT(8.9999) = 8. The best workaround is to use @INT(A1+0.5) instead.