few improvements to builtins
fix tostring with precision