Fix ARI text for floatformat_from_double