Bug introduced in #281 fixed

Int should be double