Fixed binomial heap size update on B_0