Store instruction annotation values as C++ doubles.#366

virajbshah wants to merge 3 commits intogoogle:maingoogle/gematria:mainfrom

virajbshah:push-qxyxnlmqtwwovirajbshah/gematria:push-qxyxnlmqtwwoCopy head branch name to clipboard