fixed PHP precision