dollar coins are not frequently used in general commerce