First time here? Check out the FAQ!
10 0 Cutting unnecessary zeroes in float numbers ( 2016-03-31 09:45:58 +0200 )
2 0 Cutting unnecessary zeroes in float numbers ( 2014-02-17 13:42:25 +0200 )
10 0 Using comma as a decimal mark with SageTeX ( 2014-02-14 10:19:35 +0200 )