Be more explicit about types in SafeNum test