Better precision for 32-bits