Add writeMixedNumberFile