ORBIS64/ORFPX64 Additions - l.stod, l.dtos (P11) 2015-03-06 - Rth

The ORFPX64 extension is missing instructions to convert between single and double precision.