Numbermonk: number info and conversion