String -> Number parsing prisms

Finally, some work on String -> Number parsing prisms.