[nchmy]

It does seem like a lot. Though, it's also a rounding error for them. It is probably sized to optimize for something else than just $