php class to convert number in the literal form