K::FT used so that exact-exact compilation works