Stupid Python Ideas: An Abbreviated Table of binary64 Values