builtins: update description of format_int to say it rounds down

Signed-off-by: Anders Eknert <anders@eknert.com>