Is there a type checker that works with numbers.Number?