! Fixed a 32bit precision issue