Reporter: maspy(Japanese tweet: https://twitter.com/maspy_stars/status/1303540527984328704)

The constraints of floor_sum may be too tight. Should we improve this? (e.g. negative input, return value with mod 2^64 and allow overflow, return value with arbitrary mod ...)