bugfix in stdio.h - output_double_binary
bugfix in stdio.h - output_double_binary

layerzero/libi0,layerzero/libi0,ganboing/libi0-dev-linker,ganboing/libi0-dev-linker,layerzero/libi0,layerzero/libi0,ganboing/libi0-dev-linker