12实数的运算