awk - 시간 값을 10진수 값으로 변환

를 사용하여 awk시간 값을 10진수 값으로 변환하는 방법.

나는 이 명령을 반대 방식으로 사용해 왔습니다.(->에서):

awk '{printf "%d:%02d", ($1 * 60 / 60), ($1 * 60 % 60)}' <<< 1.5

prints: 1:30

1:30이 값을 다시 십진수 값으로 계산하려면 어떻게 해야 합니까 1.5?