Numeric.Half

data Half

isZero