A numeric type to automatically manage engineering units in Haskell.