Fix type signature for readInt.