BigQueryでTIME型をINT型に変更したい

業務でTIME型をINT型に変更したいことがあったので、
その時の手順を残しておく。

要件的には、
00:45:00は45に、01:20:00は80にしたい。

TIME型をCASTで直接変更できるのは下記によるとTIME型とSTRING型なので、cast(time as int64)ではだめでした。

そこでTIME_DIFF関数を使いました。

TIME_DIFF(time, TIME "0