fix: range-check magnitude before the double->int cast in the JSON encoders (#816) - #855

fix: range-check magnitude before the double->int cast in the JSON encoders (#816)#855

InauguralPhysicist merged 2 commits into

mainInauguralSystems/EigenScript:mainfrom

fix/816-json-int-castInauguralSystems/EigenScript:fix/816-json-int-castCopy head branch name to clipboard