A KAM type theorem for systems with round-off errors