Fix up test failures with older BigFloat versions

Also, call it v1.20, not v1.2