At the start of 2012, the US federal budget had a deficit of more than $1.5×1013. Convert this number to decimal form.