floor(0) : ℕ
floor(1 / 2) : ℕ
floor(-1) : ℤ
floor(-1 / 2) : ℤ
abs(0) : ℕ
abs(1 / 2) : 𝔽
abs(-1) : ℕ
abs(-1 / 2) : 𝔽