Better num typing