Aren't these handled fine by the general case in `number.jl`?