protected function checkFloatTypes(NumericTypeInterface $a, NumericTypeInterface $b)
    {
        $a1 = ($a instanceof FloatType ? $a : $a->asFloatType());
        $b1 = ($b instanceof FloatType ? $b : $b->asFloatType());

        return [$a1, $b1];
    }