/**
* Produces a string of the form "x bits[?]" where x is the number of bits the user currently has.
*/
public static function make_pretty_points()
{
$bits = Points::get_points_for_current_user();
return $bits . ' ' . Points::make_bits_helper($bits);
}