libc: add finite(), finitef(), finitel()