pseudocode: use function declaration syntax for library functions that are not defined

Also:
- Add missing semicolon
- Fix prototype for is_floating_point to use template syntax

Change-Id: I9ec1c687a3854b73ddac78f4db0db8e10f4e10e6
Signed-off-by: Kevin Petit <kevin.petit@arm.com>