Oops PHP floats are double precision.