sml arithmetic