So far this is the absolute record for the binary size of one division/remainder/multiplication operation: