Added the constants <constant type="double" value=T/> for T="+infinity", "-infinity" and "nullity". Fixed how they print.