Make an implicit conversion to make +% operator work