// B ~ (z0, z1, z2), such that the product leading digit has the exponent -61.
	// Note, exp >= -53 since x >= PI4 and exp < 971 for maximum float64.
	digit, bitshift := uint(exp+61)/64, uint(exp+61)%64
	z0 := (mPi4[digit] << bitshift) | (mPi4[digit+1] >> (64 - bitshift))
	z1 := (mPi4[digit+1] << bitshift) | (mPi4[digit+2] >> (64 - bitshift))

$ R�-I5$�b2
d� Z�+IZJ�0�$F#UH5T�`���`G��K�����R�#I���Y�-�K+#F @�$ @�$ @�$ @�$ `�& �@�$ A L:��"?�?�dɉ��E$A%�&��C*��+U�F XHa@��ܒ�+ER"jT�YTT4�h ��j�VZH� ��RʪJ��UJ%/�Q�UO �/�x� ��%p�#��#B��uR �b ň21b���MDi4���)�2�JcSMMS ����jj���"����X�F�OЌ�dbXL&�5MM4�iVP��2�,�b��$�� b�c��+,*�0��ړ�i%�)`���8ZB�b�`�� �%� �I��?ϩ��gS���pz��gS���py;ɜ����ާz���e2��N�g'&&'��ަu:�M'�����ɉ��NL�118S�N�g'&&'�����ɉ��=��&rrbbp����������ﻻ���*�T�؀8g�ۘ@ݶ�m��ݶ�m�3�...