ARMCC sprintf mit float

Hallo!

Ich bin neu in der ARM-Welt und versuche auf einem Cortex-A9 in einen 
String mit sprintf einen double float zu verarbeiten:

1

#include <stdio.h>

2

3

double cpu;

4

char buff[50];

5

6

cpu = 12.12;

7

sprintf(buff, "cpu: %d %3.1f\n", 12, cpu);

Der string sieht danach so aus:
"cpu: 12 -0.0"
D.h. der int wird eingebaut, der float nicht.

Das compile-script hat FPU als vfpv3 definiert und gibt diese dem ARMCC, 
ARMASM und ARMLINK mittels --fpu=vfpv3 bekannt.

Dies solltet doch eigentlich dafür sorgen, dass die korrekte Library mit 
float-support dazugelinkt wird? Ich bin gerade etwas ratlos...