[mycpp/runtime] Print floats (C doubles) with more precision