Fore some weird reason DS-5 doesn't care about enabling FPU. You need to have something like this in your startup file:
MRC p15, 0, r0, c1, c1, 2
ORR r0, r0, #(3<<10) ; //enable fpu
MCR p15, 0, r0, c1, c1, 2
;//2. Set the CPACR for access to CP10 and CP11:
MOV r0, #(0xF << 20)
MCR p15, 0, r0, c1, c0, 2
;//3. Set the FPEXC EN bit to enable the FPU:
MOV R3, #0x40000000
VMSR FPEXC, R3