Can now build 64-bit version that passes sanity test, though problem with real arithmetic.