In U.S. measure, a bit more than a pint (16 ounces). But yes, roughly. :-)