Make sure doubles aren't promoted to 16 bytes#652

Whyborn merged 1 commit intomainCABLE-LSM/CABLE:mainfrom

650-make-sure-double-arent-16byteCABLE-LSM/CABLE:650-make-sure-double-arent-16byteCopy head branch name to clipboard