bug(expr): format of float of Jsonb

[KeXiangWang]

Describe the bug

Currenly, we print a float keeping at least one digit after the decimal point.

One example of to_jsonb:

select to_jsonb(1.0000::float);

# PG:
 to_jsonb
----------
 1

# RW:
 to_jsonb 
----------
 1.0

We need to fix the formating function of the float of Jsonb. It may require some modification in the jsonbb repo.

[KeXiangWang]

After a quick investigation here's reason:
Our dependency chain on this is: risingwave -> jsonbb -> serde_json -> ryn.
Here's the line of the code adding the ".0". Based on the developer's answer, it's intentional.

As jsonbb is under control, so to solve this problem, we can either fork serde_json and ryn and modify the corresponding codes or switch to another repo providing similar json serialization function. As currently this misalignment has not become a big problem, let's table this issue temporarily.

[github-actions]

This issue has been open for 60 days with no activity.

If you think it is still relevant today, and needs to be done in the near future, you can comment to update the status, or just manually remove the no-issue-activity label.

You can also confidently close this issue as not planned to keep our backlog clean.
Don't worry if you think the issue is still valuable to continue in the future.
It's searchable and can be reopened when it's time. 😄