cardinal.nat_cast_inj source