Returns the maximum of two
Note that, unlike most intrinsics, this is safe to call;
it does not require an
Therefore, implementations must not require the user to uphold
any safety invariants.
The stabilized version of this intrinsic is