Bug fix in Console.hxx: print(double) is not longer internally converted to float
Bug fix in Console.hxx: print(double) is not longer internally converted to float

changed float for template argm

lis-epfl/MAVRIC_Library,lis-epfl/MAVRIC_Library,lis-epfl/MAVRIC_Library