Длинные целые числа PHP для экономии

Моя служба Thrift ожидает получить длинное целое число, представляющее отметку времени в миллисекундах, но исходя из PHP, я знаю, что PHP-бережливость должна автоматически превращать мои типы PHP в типы экономии, но какой тип PHP он ожидает для длинных целых чисел? Я думаю, что мой компьютер 64 -бит, но поскольку я думаю, что длина целых чисел PHP зависит от платформы, я действительно не хочу зависеть от платформы -зависимой длины для моих целых чисел.

В настоящее время я хватаю микровремя ()и умножаю на 1000, а затем преобразовываю в целое число. Является ли это «правильным» способом работы с PHP и экономией на длинных числах?