Bug? DateTime.SetTimeZone() wants an Int?

DateTime.TimeZoneOffset returns a Double, pretty much as one would expect since there are "fractional" time zones. However DateTime.SetTimeZone() only accepts an Int value, which seems problematic.

Is there a bug here or am I missing something?

It will be changed to a Double in the next update.