/divdf3.S/1.1.1.9/Sun Jul 30 05:21:18 2023//Tnetbsd-11
/divsf3.S/1.1.1.9/Sun Jul 30 05:21:18 2023//Tnetbsd-11
/muldf3.S/1.1.1.9/Sun Jul 30 05:21:18 2023//Tnetbsd-11
/mulsf3.S/1.1.1.9/Sun Jul 30 05:21:18 2023//Tnetbsd-11
D
