#include #include namespace wavefront { template void write_number(std::ostream &output, NumericType value) { output.write(reinterpret_cast(&value), sizeof(NumericType)); } }