handling floating point numbers in javascript