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

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

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

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

標準 SQL の変換規則  |  BigQuery  |  Google Cloud

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

標準 SQL の時間関数  |  BigQuery  |  Google Cloud

TIME_DIFF(time, TIME "00:00:00", MINUTE) as time_int
とすることで上記の要件を満たせました。