> DateTime.new(4172,1,1,1.5)
> 
> DateTime.new(4172,1,1,1.5,0)
> は同様に解釈するけど、
> DateTime.new(4172,1,1,1.5,1)
> などはエラーにするというパッチだと受け入れられる可能性はありますか?

ないでしょう。もう、仕様は凍結されましたし。