Hashable instance of Rat

Stream: general

[Asei Inoue]

where is Hashable instance of Rational number?
I cannot find this.

import Batteries

instance : Hashable Rat where
  hash r := mixHash (hash r.num) (hash r.den)

[Kim Morrison]

PR welcome.

[Mario Carneiro]

I think this should be a deriving handler

[Asei Inoue]

@Kim Morrison PR opened!

https://github.com/leanprover-community/batteries/pull/1349