Находит в OpenMath float