>>691
とりあえず割ることで対応しました。
自分が作った関数には13ケタの数字をそのまま渡したいのですが、
出力にはミリ秒が含まれなくても別にかまわないので。

# date() の出力フォーマットにミリ秒が出せるのは、PHP 5.2.2 からのようですね

http://www.php.net/manual/ja/function.date.php
をみると、date() の引数は int 型なので、結局 long は渡せないし、
ほかにそのような関数もない、ということなのかな。

っつーか http://www.php.net/manual/ja/language.types.php を見ているのですが、
もしかして PHP は long がない？
(整数は、10進だと10ケタまで？)

すみません、頭の中がJavaかCなもので・・・