Module Make_checked.Scalar