Fancier-looking decimals, put version in title