Fallback to php round() when dealing with non decimal numbers

Initial proposal for supporting non decimal numbers