Results for formal numericumericumeric