PDP-11 floating point: Move KEF11-A from KDF11-A to KDF11-BA?