今までは内部で時刻を7時半=15のように倍の整数で扱っていたが、素直に7.5のように少数で表すようにした。