额……就是，我想问一下各位大佬们这个随机浮点数（以时间为种子，在0~12之间）的代码怎么写？要用什么头文件？？非常感谢！