A collection of numeric functions and type enrichments