Mathematical Types and Functions