trim leading zeros, print decimal point