prelude.h: conversion between chars and datatypes is now fraction-aware.
prelude.h: conversion between chars and datatypes is now fraction-aware.

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast