I mean, technically he's right. If it truely were simply a 15/32" conversion it would have worked out to roughly 11.9mm.

Either they converted it wrong, or it wasn't originally 15/32"

Otherwise they would have stated 11.9mm instead of 11.7mm