Left package:numeric-prelude

Turn the point one quarter to the right.
Left associative length computation that is appropriate for types like Integer.