Relax the constraints of floor_sum?

[yosupo06]

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 ...)