Use `Num` and `Int` instead of `Number` and `AnyInteger`
Fix