php怎么把秒数转成分钟

Question

php有以下秒数怎么转成分钟

456.83

451.77

263

怎么转成00:00分钟的样式
如10:03之类的

Answer 1

date('i:s',256.83);

Answer 2

使用gmdate()函数

echo gmdate("i:s", 456.83);

Answer 3

除以60不就行了吗。