Implement sub_sat builtin. Patch by Lei Mou!