mina::to_ascii_decimal: to_ascii_decimal_f (7)

Use GMP for bigint support.

Signed-off-by: Alex Dubov <oakad@yahoo.com>