std :: io
#include <std/io.h> source ยท definition
#include <std/io.h>
void println_float(double v)
Print a double followed by newline.