potential fix for 32bit  roundoff error
potential fix for 32bit  roundoff error