             AREA vfpextra,CODE,READONLY

             GET "Hdr.Common"

             EXPORT printvfp
printvfp     vldr d0,[r0]
             mov r2,#24
             mov r3,#10
             vcvt.S32.F64 s2,d0
             vmov.S32 r0,s2
             swi 0xD8                ; OS_ConvertCardinal4
             mov r0,#0x2E
             strb r0,[r1],#1
             vcvt.F64.S32 d2,s2
             vsub.F64 d0,d0,d2
             vmov.F64 d3,#10.0
10           vmul.F64 d0,d0,d3
             vcvt.S32.F64 s2,d0
             vmov.S32 r0,s2
             swi 0xD8                ; OS_ConvertCardinal4
             vcvt.F64.S32 d2,s2
             vsub.F64 d0,d0,d2
             subs r3,r3,#1
             bne %BT10
             mov pc,r14

             END
