Timeline for How to convert floating point number to integer?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 4, 2017 at 18:18 | history | edited | GAD3R | CC BY-SA 3.0 | added 2 characters in body |
| Nov 1, 2015 at 20:20 | comment | added | user79743 | That is called round towards +inf. That is one of four possible ways to round. | |
| Aug 12, 2014 at 6:21 | comment | added | Stéphane Chazelas | But float=-2; echo "($float+0.5)/1" | bc gives -1. | |
| Sep 8, 2013 at 9:44 | history | answered | innocent-world | CC BY-SA 3.0 |