Implement safe math operations in std

[Y-Nak]

What is wrong?

Currently, the new codegen uses safe math in default, but these operations are implemented in codegen/runtime.
It'd be better to implement these operations in std.

How can it be fixed

1. Implement safe math functions in std.
2. In the AST -> MIR lowering, replace arithmetic operations with the corresponding function calls.