Data.Number.Instances