Add examples for Checked[Add|Sub|Mul|Div]