The `Mathematics` package currently only extends the [type:float] type
with trigonometric functions. But there are plans to extend it with
geometric types and functions as well.