[1]
short-float
:= 1*3
DIGIT
[ "." 0*3DIGIT ] ;;
RFC 2295