Synopsis
float64_t __float64_add_1(float64_t augend);
Description

__float64_add_1 adds one to augend and returns the sum as the result.