fn numeric_intrinsic<Prov>(
    name: Symbol,
    bits: u128,
    kind: Primitive
) -> Scalar<Prov>