../ floor.3,v 30-Jun-2024 21:38 13189 ieee.3,v 30-Jun-2024 21:38 22983 infnan.3,v 30-Jun-2024 21:38 8676