build with floating point in printf functions