MySQL - лучший тип данных для простого времени с часами и минутами

Мне нужно представить время выполнения задач в моей базе данных MySQL 5.
Затем мне нужно сохранить такое время:
_ 18
_ 9:15
_ 12:00

Теперь я стою перед дилеммой, использовать ли тип данных time или просто 4-значное целое число, поскольку мне просто нужно хранить часы и минуты.
Во втором случае я бы сохранил:
_ 1800
_ 0915
_ 1200

Каковы последствия обоих подходов?
Какое решение вы бы реализовали, учитывая, что наиболее важным требованием является высокая производительность в огромном наборе данных (миллионы строк)?

Код приложения написан на PHP.

РЕДАКТИРОВАТЬ: Я думал об одном важном моменте . Если я использую целые числа, мне нужно выполнять некоторые операции со строками с помощью PHP, когда я показываю время (чтобы вставить точку с запятой), что, вероятно, сводит на нет выигрыш при использовании целых чисел

Спасибо,
Дэн