literal number value in LaTeX