Explicit casting for Print::write()