How to use and print the double value in emulator

[arkhan91]

How to print the double value and use math function in emulator.

#include <stdio.h>

int main(void) {
    double value;    value = 5;
    printf("The value is %f\n", value );
return 0;
}

I am trying to run the myprogram.riscv by compiling riscv-test and runing the defualtconfig
./emulator-freechips.rocketchip.system-Rocc10-debug -V $RISCV/target/share/riscv-tests/benchmarks/myprogram.riscv 3>&1 1>&2 2>&3 | spike-dasm >hello.out

I get this instead of value at output
The value is %f

I am trying to use the math.h file in program and i need double, float values