Hello
> So my vote is for make_time(hour int, min int, sec float8).>
so here is a patch
Regards
Pavel
> regards, tom lane