Per quello che so' io
un file contiene solo caratteri...
In un file non esistono int, float, ecc.
ma solo char.

Quindi quando tu andrai a salvare un (int) in un file
questo verra' trasformato in una stringa (quindi caratteri)
poi devi andarti a prendere la stringa e trasformalla in
un int con i cast (int) anche se mi sembra che php lo
faccia in automatico.

Cmq un file contiene solo char (per me')