nat.mul_one source