wasi-libc builds special versions of printf and other routines optimized for the case where long double and floating-point in general are not needed. Ensure that everything still compiles and runs.