(print): Round size of bool-vector properly.