Compressed Real Numbers for AI: a case-study using a RISC-V CPU