Fixed an issue with the printing of numbers in latex format