"Никак" - в том смысле, что не зачем писать то, что уже реализовано
И, если уж на то пошло:
: user_loc loc@ "Server coordinates: " . rot . swap . . ;
В плавающем виде целые печатать не обязательно :D, а манипуляции со стеком в конце такие, потому что помещаются координаты в него в виде x y z, т.е. при печати в лоб тремя операциями печати, будут распечатаны в обратном порядке - z y x, так что сперва по 'rot' вытаскиваем третье число (x y z -> y z x ), печатаем его, потом осталось swap, чтобы поменять местами y и z.