ebnf-format-float

ebnf-format-float is a variable defined in `ebnf2ps.el'.
Its value is

"%1.3f"

Documentation:
Not documented as a variable.