For completeness, it turns out that indeed assuming K is 'noninteger' apparently works. See https://trac.sagemath.org/ticket/21554 for documenting this better.