hall-montgomery constant