Bad precision setting in php