integer overflow explanation is to be rewritten soon...