types+grammar: clarified exponential form to include very small numbers