Materials supporting exploration of floating-point math for use by TC39