diff --git a/bochs/cpu/softfloat3e/f16_minmax.c b/bochs/cpu/softfloat3e/f16_minmax.c
index 3aa1454f0..7bc815324 100644
--- a/bochs/cpu/softfloat3e/f16_minmax.c
+++ b/bochs/cpu/softfloat3e/f16_minmax.c
@@ -40,7 +40,8 @@ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 /*----------------------------------------------------------------------------
 | Compare between two half precision floating point numbers and return the
-| smaller of them.
+| smaller of them. If the values being compared are both 0.0s (of either sign),
+| the value in the second operand is returned.
 *----------------------------------------------------------------------------*/
 
 float16 f16_min(float16 a, float16 b, struct softfloat_status_t *status)
@@ -55,7 +56,8 @@ float16 f16_min(float16 a, float16 b, struct softfloat_status_t *status)
 
 /*----------------------------------------------------------------------------
 | Compare between two half precision floating point numbers and return the
-| larger of them.
+| larger of them. If the values being compared are both 0.0s (of either sign),
+| the value in the second operand is returned.
 *----------------------------------------------------------------------------*/
 
 float16 f16_max(float16 a, float16 b, struct softfloat_status_t *status)
diff --git a/bochs/cpu/softfloat3e/f32_minmax.c b/bochs/cpu/softfloat3e/f32_minmax.c
index b023f1240..f1eccedcc 100644
--- a/bochs/cpu/softfloat3e/f32_minmax.c
+++ b/bochs/cpu/softfloat3e/f32_minmax.c
@@ -40,7 +40,8 @@ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 /*----------------------------------------------------------------------------
 | Compare between two single precision floating point numbers and return the
-| smaller of them.
+| smaller of them. If the values being compared are both 0.0s (of either sign),
+| the value in the second operand is returned.
 *----------------------------------------------------------------------------*/
 
 float32 f32_min(float32 a, float32 b, struct softfloat_status_t *status)
@@ -55,7 +56,8 @@ float32 f32_min(float32 a, float32 b, struct softfloat_status_t *status)
 
 /*----------------------------------------------------------------------------
 | Compare between two single precision floating point numbers and return the
-| larger of them.
+| larger of them. If the values being compared are both 0.0s (of either sign),
+| the value in the second operand is returned.
 *----------------------------------------------------------------------------*/
 
 float32 f32_max(float32 a, float32 b, struct softfloat_status_t *status)
diff --git a/bochs/cpu/softfloat3e/f64_minmax.c b/bochs/cpu/softfloat3e/f64_minmax.c
index e74841dfa..6d6734e79 100644
--- a/bochs/cpu/softfloat3e/f64_minmax.c
+++ b/bochs/cpu/softfloat3e/f64_minmax.c
@@ -40,7 +40,8 @@ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 /*----------------------------------------------------------------------------
 | Compare between two double precision floating point numbers and return the
-| smaller of them.
+| smaller of them. If the values being compared are both 0.0s (of either sign),
+| the value in the second operand is returned.
 *----------------------------------------------------------------------------*/
 
 float64 f64_min(float64 a, float64 b, struct softfloat_status_t *status)
@@ -55,7 +56,8 @@ float64 f64_min(float64 a, float64 b, struct softfloat_status_t *status)
 
 /*----------------------------------------------------------------------------
 | Compare between two double precision floating point numbers and return the
-| larger of them.
+| larger of them. If the values being compared are both 0.0s (of either sign),
+| the value in the second operand is returned.
 *----------------------------------------------------------------------------*/
 
 float64 f64_max(float64 a, float64 b, struct softfloat_status_t *status)