A simple number converter