divmod() is not RPython :-(