#1362 (Jan 25, 2018, 5:08:11 PM)

1. prefer prefix over instantiation in Prefix_Order (detail / hgweb)
2. bitlen(mantissa) is also valid with 53 bits (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 23 min build duration;
• 23 min total from scheduled to completion.